perm filename MSYM7.360[360,GF] blob
sn#852091 filedate 1988-01-24 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEd FCA8AAeπ∀ 0↓@$x↓A@0λ↓S` @↓@$x↓α ⊂↓∪` @↓@$p↓B0λ↓S@ P↓@$p↓α@ ⊂↓∪@ P↓@$h↓B@0λ↓S `↓@$h↓β ⊂↓∪"⊂↓∪α λ↓S p↓@$`↓β@ ⊂↓∪ p↓@$X↓C@0λ↓R`!↓@$X↓∧ ⊂↓∩@1βR@!λβQ(D⊂ε"q8∧I!_%@ ⊂∧A) ⊂↓A⊂⊂@i ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓I ⊂↓A⊂⊂@i ⊂↓A⊂(%@ x%@!%@ ⊂∧@@⊂_%@ ⊂∧@@ ⊂%@ ⊂∧@@ _%@ ⊂∧@@0⊂%@ ⊂∧@@0⊂%@ ⊂∧@@0⊂%@ ⊂∧@@ _%@ ⊂∧@@ ⊂%@ ⊂∧@@⊂_%¬ !_"Qλ1@
Ebp@¬∀↓txααdhαβ Dhαβ`$`αR`0λ↓∩` ⊂↓∩@0⊂↓∩@ _↓∩@ _↓∩@ _↓∩@ _↓∩@ _↓∩@ _↓∩@0⊂↓∩` ⊂↓∩`0λ↓∪Thαβ`$hαβ DxααeπTA$("⊃β↓XE`↓%∧i ⊂↓A⊂ %@ ⊂¬A ⊂↓A0 %@ ⊂¬A) ⊂↓A0⊂@i ⊂↓A0⊂↓I ⊂↓A0⊂↓i ⊂↓A0⊂↓@I ⊂↓A0⊂↓@I ⊂↓A0⊂↓@I ⊂↓A0⊂↓@I ⊂↓A0⊂↓@I ⊂↓A0⊂↓@I ⊂↓A0⊂↓i ⊂↓A0⊂↓I ⊂↓A0⊂@i ⊂↓A0(%@ ⊂¬A ⊂↓A0 %@ ⊂∧A !_%∧λT "EC⊃8@αdP∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂λ∩@ ⊂λ∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩@ ⊂↓∩BdP⊃(D0ε"q8¬I!0%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@!%@!%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%@ ⊂%↓I 0"QλqP∞EbpH∧∀↓dxαA@Tp↓C4hαβ $`αR`0λ↓∩` ⊂↓∩@0⊂↓∩@ _↓∩@ _↓∩@ _↓↓!dP↓` (π∩@ _↓β _↓∩@ _↓β _↓∩@0⊂↓β ⊂↓R` ⊂↓β ⊂↓∩`0λ↓β λ↓SP`αS @`α∪@0`↓S`P0αT↓e_∧⊃(D@εbq8↓A@0%↓A@0%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@!↓I ⊂↓∧ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%@ ⊂ε@ ⊂%↓A@0%↓A@0"Q ⊂0¬¬bpβ∩@dP↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$P↓@$Pβ∩@d("∩B10EaP0+AJp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂↓Jp⊂@i ⊂¬@@⊂⊂%A0⊂@I _¬↓)0⊂¬↓ 0 ∧i@(α@i`P(↓hT %FCQ8@aλ↓R@`xαR@ ⊂↓βdP↓@ Pβ∩@ ⊂↓↓`dP↓@ βR@ ⊂↓@dP↓A$P↓@P_↓∩@ ⊂β@4P↓@ ⊂↓@@4P↓@ _↓`4P↓@ _↓@`4P↓@ ↓@`4P↓@ (↓@`$P↓@ 0↓@@4P↓@ 8↓@@4P↓@ @↓@@4P↓@ H↓@@4P↓@ P↓`4P↓@ P↓@`$P↓@ X↓@@4Pββ↓∧Pββ t("∪αaHE`0%↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I!0%¬HT &GD⊃8@Q_β∩@Q_β∩@ λ↓D 0⊂↓∩@ ⊂↓∧ 0⊂↓∩@0λ↓C`@⊂↓∩@0⊂↓β`@⊂↓∩@@λ↓C P⊂↓∩@@⊂↓β λ↓@$Pα@ 0X↓@ ⊂↓∩@ λ↓@ X↓@ ⊂↓∩@ λ↓@ 0H↓@@ ⊂↓∩@ ⊂↓@ H↓` ⊂↓∩@ ⊂↓@ 08↓@` ⊂↓∩@ _↓@ 8↓↓ ⊂↓∩@ _↓@ 0(↓A ⊂↓∩@ ↓@ (↓↓ ⊂↓∩@ ↓@ 0 ↓↓ ⊂↓∩@ (↓@ _↓A ⊂↓∩@ (↓@ 0⊂↓↓@ ⊂↓∩@ 0↓@ λ↓A@ ⊂↓∩@ 0↓@ P8↓@$P↓↓` ⊂α↓` ⊂↓∩@ 8βBdP↓α`@β⊃(Dp
π"q8↓"0⊂%↓B ⊂%@ _λ@I ⊂↓@b⊂%`0_π@I ↓A↓P⊂%↓ 0 εI ⊂@`@_¬@I ⊂↓↓0_¬I ⊂↓A0_∧@I ⊂α@`0_∧I ⊂β`0_β@I ⊂β@`0_βI ⊂∧`0_α@I ⊂∧@`0 ↓@I ⊂¬`0 ↓I ⊂¬@`@_@I ⊂ε↓0(%AP ↓A ⊂π@`0_%B_↓@I ⊂λ@` ⊂%B 0%B0("Q qP∞F#H∧∀!DxαA@Tpαα@DhαβD`αCT`↓ `↓ $X↓@ `↓ 4X↓@ `↓@$P↓@@ `↓@4P↓` `↓`$P↓` `↓`$P↓` `↓`$P↓` `↓`$P↓` `↓`$P↓` `↓`$P↓@@ `↓@4X↓@ `↓@$X↓@ `↓ 4`↓ `↓ $`αCThαβDpαα@DxαA@Uλε∀a∧("∀αaHE`↓_%¬ ⊂↓A⊂⊂@i ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓i ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓i ⊂↓A⊂⊂↓I ⊂↓A⊂⊂@i ⊂↓∧ ⊂↓βi ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I ⊂↓I 0%↓HT (Fcaxα!¬λε∪`P0αS@@Pα∪ @`α∪P`αS λ↓β λ↓∩`0λ↓β λ↓R` ⊂↓β ⊂↓∩@0⊂↓β ⊂↓R@ _↓β _↓∩@ _↓β _↓∩@ _↓β _↓∩@ _↓β _↓∩@ _↓β _↓∩@ _↓β _↓∩@0⊂↓β ⊂↓R` ⊂↓↓0(↓@$X↓@ _αA λ↓S λ↓@0λ↓@` λ↓∪P⊂↓` _αS @λ↓@`0⊂α∪@`(↓ DxαA eλε↓@%λ¬A@5λ↓↓`0(↓V@0(↓⊗`0_↓Va∃`βW T("∀BaHE`↓_%¬ ⊂↓A⊂⊂@i ⊂↓A⊂⊂↓I ⊂↓A⊂⊂↓i ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓@I ⊂↓A⊂⊂↓i ⊂↓A⊂⊂↓I ⊂↓A⊂⊂@i ⊂↓∧ ⊂↓βi ⊂↓@@_↓i ⊂↓@P⊂↓@I ⊂↓@P_↓i ⊂↓@`⊂↓@I ⊂↓@`_↓i ⊂↓@p⊂↓@I ⊂↓@p_↓i ⊂↓A⊂↓@I ⊂↓A_↓i 0∧Ai 0∧AhT )DBA8A@tx¬S P αSP@↓S λ↓α $X↓@$X↓@$X↓@4X↓`4X↓↓d`↓↓ dh↓α4p↓B$xαA %λαA% ↓@`%(↓@@%0↓@$P↓α@ ⊂↓∩@0H↓ $X↓BT`α↓ Th¬S`t("∃β↓XE`↓@%ε
0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J0⊂↓J00)AHT *Fβ18@a↓∩@a↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@!↓∩@ ⊂↓∧$P↓@ x↓R` λ↓β`$XαC@4`αβ 4h↓C4hαα@Dxα↓@Eε∀A∧("∃C↓XE`0λI 0λI _@a`_%@@ ⊂πI0_@a@_&@ ⊂εI@⊂↓A@⊂&`⊂_¬iP⊂↓A ⊂&@`⊂_∧i`⊂↓A⊂'`⊂_β@Ip⊂↓@`_'@@ ⊂βIp_@`@_(@ ⊂αJ_@` _(@@ ⊂↓J⊂⊂↓@ ⊂(@`⊂0)@ )`⊂ )AJ00"Q
r_∪¬bpβα``P↓∩@`Xβα@$P↓@ P↓@@ H↓R@0λ↓B @λ↓B$X↓@ @α@@ @↓∩` ⊂↓α λ↓@ 8↓R` ⊂↓α λ↓@ 8↓∩` ⊂↓↓`0λ↓@ 0↓R` ⊂↓↓` ⊂↓@ 0↓∩`0λ↓A 0⊂↓@ 0(↓∪ ⊂↓↓ ↓@ ↓S ⊂↓↓ ↓@ ↓∪ ⊂↓↓0 ↓@ ↓∪ ⊂↓↓ (↓@ _↓S0λ↓@@0(↓@ 0⊂↓∪ ⊂↓@ 8↓@ ⊂↓∪ ⊂↓ 08↓@ λ↓S ⊂↓ @↓@ λ↓∪ ⊂↓ @↓@Th↓@P@↓@Dh↓@ @H↓@ Dp↓@0P↓@4pβα`dpβα`d("⊗β↓XE`8π@I @ε@i0_↓a0_&@0⊂¬i@_↓a_&@` _βi`_↓`@_'@@0⊂↓@ip_↓`⊂_(` ((@` _)` _)@@0⊂)@` _)↓ _(@`⊂_↓j_↓@@0⊂'@`@_↓i`_β` _&@a_↓i@_¬@0⊂%@a0_↓i _εB ⊂πAhT ,Fβ18@px↓∩Ah↓R`0⊂↓β4`↓@0X↓∪0⊂↓B 4h↓@@08↓S@0⊂↓↓@4x↓@ 0 ↓T0λ↓@@5λ↓@0λ↓∀ 0⊂αT@0λα∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀` ⊂↓∀`e_β⊃(EP EBq8∧i!_*@@0⊂*` _*@0⊂)@` _)@@0⊂)` _)@0⊂(@` _(@@0⊂(` _'@` _'@@0⊂'` _'@0⊂&@` _&@@0⊂&` _&@0⊂%@` _%@@0⊂%∧i!_"Q↓@∞
#!(↓W UXαV U8αUe⊂β∀TpαSTPαR@T`αS@UαT@e β∃`UHαV`UhαU @↓U %(↓∃ %(↓∃ $P∩C¬(↓∃ %(↓∃ %(↓∩C∧P∃ %(↓∃ %(↓∃ %(↓⊃(@λπ¬⊃Pi (&↓)`((↓* 0*↓Jp(,A+0(.A+P(-A+⊂(+A*@0)↓J('↓)@(%↓) _∧JP⊂*@JP⊂*@JP⊂%ε !@*@JP⊂*@JP⊂*@I!@%ε
P⊂*@JP⊂*@JP⊂*@HT ↓εβBP∂∧ %P↓V@%P↓⊗ 5H↓⊗ %H↓↓5@↓@@U@↓ U@β∃`U β∀@uα@@$pα@`4`αA $PαA`$PαA`$`αA4pα@@%βT@e β∃ λαU _αU (αT`08αT` P↓T`%⊂↓T@%⊂↓∀@$P∩C¬λ↓∀ %↓T%↓∀%↓⊃(@_π¬!pλK⊂_,@K⊂⊂,@K_,I _¬@I (∧@I@(βi`(αJ(↓J 8*↓J`0+@⊂(+@0(*@`P(*@@`(*@@@(*@@ (*α
@0)↓J0'α @(↓I (αI _βJ _)J ⊂)J⊂_%ε !@(@J_(J⊂(J⊂(HT αεβB_
∧ %P↓V@%P↓⊗ 5H↓⊗ %@↓A5@↓`U@↓ U8βU`U β∀@uα@ $pα@`$`αA4PαA@$PαA@$`α@`4pα@ %β∀@e_βT` ⊂αT@0 αT@ 8αT@ HαT 0X↓T %λ↓∀5↓∀%↓∀$("↓#↓`⊃FB⊂,@k⊂⊂,@K_,K⊂%a _%↓!⊂&↓ `⊂'↓ @⊂(↓ ⊂_)↓J@0*AjP⊂↓↓*P⊂α↓*P⊂β↓*@_β↓*@⊂αA*@⊂↓A*0_A*08)↓J('↓I@(@I (↓@I _αj⊂⊂(@J_(J⊂(J⊂"QaP∞Hc!_↓↔5`↓⊗`5X↓⊗`%P↓V@ 0↓⊗ 00↓⊗ 0↓V 0↓⊗0(↓V α⊗ _α∃a¬8βTA∀Pπ∩Ae⊂∧U!∃ ↓@`U ↓↓`E ↓αE_↓B@5_↓β%_↓β5⊂↓C %⊂↓β@%λ↓T %λ↓∀5↓∀%↓⊃(@8
π$1P K0_-@K _-K ⊂,@i ⊂ε@I ⊂ε@I _¬@i0⊂¬@I0_¬I@ β@iP βIp(↓@JH)B*`p*Cj0H(↓ip8&A0⊂&↓0_%@`P⊂%@@`⊂%`P_%@`⊂%@`⊂(@j⊂⊂(@J_(J⊂(HT ∧εβB0
¬ 5hαV`UHαU`U β∀@eαS@T`αR@TPαSTpαTU⊂β∃e8αV UXαW Ux↓Q`∃X↓⊗@5H↓RC∧P∃@5(↓U % ↓T`4P∩C¬↓S`4x↓⊃(@Hπ∧aPi (&↓)`((↓* 0*↓Jp(,A+0(.A+P(-A+⊂(+A*@0)↓J('↓)@(%↓) _#@+0⊂-k⊂_%ε !@+jP_*@J@_)@i!@%ε
_'@ip⊂"Q↓!@∞
Caλ↓⊗@5P↓⊗@%H↓V %H↓⊗ ↓V0⊂αV λαVe8αUe⊂βTP⊂↓∪@P_↓SP(↓∩@P8↓∩@P8↓∪P ↓S@P⊂↓∀u⊂β∃dP↓A` λαR@P(↓`T`α@` (αSA8αTPP↓T@e⊂∧∀@ _αT@ (αT@ 8αT 0HαT `↓T %λ↓∀5↓∀%↓∀$("αc↓`∃πB⊂,@k⊂⊂,@K⊂⊂,k⊂%a0⊂%↓!⊂⊂&↓ `_'↓ @⊂(↓ ⊂)↓j@0+↓J`⊂A*`⊂↓A*P_αA*P⊂β↓*P⊂α↓*P⊂↓↓*@@*↓J 0(↓A⊂_'αp(&↓ ⊂β↓) (α@@(%``⊂↓↓* @)↓J('↓I@@%↓ ⊂%`@⊂(@J_(J⊂(J⊂(HT εεβAxE 5hαV`UHαU`U β∀@eαS@T`αR@TPαSTpαTU⊂β∃e8αV UXαW Ux↓Q`∃@↓∃`50↓RC∧P∀`5⊂↓T@$("β#↓`∂E`_%↓)@('↓*()↓J@0+A+⊂(-A+P(.A+0(,A*p(*↓J 0(↓)`(&↓) (%hpλ,Jp_+i!@%ε
0_)j ⊂"Q↓aP∞JCa_↓↔5`↓↔%X↓V`%X↓⊗@0(↓⊗@ 0↓⊗@ (↓V 0(↓⊗ (↓V _α⊗0⊂α⊗u8βTA∀PπRAu⊂∧UA¬0↓@U0↓↓ E(↓A@E(↓α 5(↓α@% ↓B@5 ↓β% ↓β%_↓T`%_↓∀@5⊂↓∩C$P
∀ %λ↓∀5↓∀%↓∀$("βc!h∃πB ⊂-@k0⊂-@K _-K ⊂%AP_%AP⊂%a@⊂%@A@⊂%@a _&↓↓⊂&Ap⊂'A 0_(α*0H+βJ`p)B*@'A ⊂_&A@⊂&↓P⊂%@``_%@@p⊂%`p⊂%A⊂%@p_)@J0⊂)j ⊂)I!P%εJ⊂⊂(@J_(J⊂(J⊂"Qα↓P∞GBq@↓_@&λ↓X5pα↔U@βTa$PπRAu_¬⊗u`αW@F↓X 6⊂↓_@$8↓⊗@%H↓S!_↓A`$`πα$Xα@A8↓R@08∧@TP↓α↓dP↓↓`0_∧∀@5⊂↓⊃(Aλ
π#a8I ⊂%i0_&↓ P('Aj⊂P*CjPx(BIp8&A)@ %@i _%I ⊂#@K ⊂,@iP@↓@`p⊂&βA⊂%A @β@i _βB (%Ap%@p_↓B
_)HT εCQP
E@5`βV↓∃(∧∀!∧h∧R`tXβS!∃λ∧∃!¬@∧Wv↓Q`%P↓⊗ 4h∧`08↓∪↓`@↓∩`P⊂∧↓`4P↓Aa⊂αR@ @π∩@ 8↓@a¬⊂↓T@$("∧c!h
¬ ⊂_%AiPH(B
P@,α+@8.↓kH*B
⊂@&B)08%@hp⊂-K⊂_&B0_β@I@p∧I0(↓αp_%`p@↓↓) ⊂∧βI ⊂β@`0@)j ⊂"QαA@∞$⊃λ↓⊗@5P↓⊗@%P↓⊗ 5H↓⊗ ↓V ⊂αV↓¬@β∃`U β∀A¬α@@4pαA$`αA@$PαB$PαA`4`αA $pα@`%α@ %⊂β∃e(βU ⊂αU αU00αU H↓U% ↓∀`5_↓∀`$P∩C¬⊂↓∀@%⊂↓∀@%λ↓RC∧P∀ %↓T%↓∀%↓∀$("¬#↓`_H"⊂,@k⊂⊂,@K⊂⊂,k⊂%a0⊂%↓!⊂⊂&↓ p⊂'↓ @_(↓ ⊂)↓j@0+A*`@+@0(+@P(+@P(+@0(*@`⊂(*Aj@0)↓J8'↓ ⊂_&↓ 0⊂%↓ P⊂%`p⊂)@j0⊂)@J0⊂)@I!@%ε
⊂)J ⊂(@j⊂⊂%ε !@(@J_(J⊂(J⊂(HT εβB0
¬@&↓↔`5x↓↔@5h↓V`EHαU@eλ∧RATPεT!∃0β⊗ UXα↔ 5p↓W`%x↓X&↓⊃`∃X↓⊗@5H↓RC∧P∃@5(↓U % ↓T`4P∩C¬↓S`4x↓⊃(A8π∧aPI ⊂%i0⊂%@i@_&A `((↓J H*C*Ph)α*0'↓)P &i0_%@I _%I ⊂#@+0⊂-k⊂_%ε !@+jP_*@J@_)@i!@%ε
_'@ip⊂"Qβ↓P∞I#18↓_ &↓W@EXβ∃!$XλRb∃(¬⊗`epα_6λ↓_ $8↓↔%X↓S!0↓↓ $`¬@`0(↓∩`P⊂¬↓ 4P↓Aa⊂αR@ X¬R@ `∧U`50↓U@%(↓U $h¬α`$`¬B`$Xα@A8↓R@0(¬@TP↓↓@ _¬R@ (↓A!¬↓T$("ε#!h∩F`⊂⊂%@I0_&↓ P0'BJ!λ)∧)pP&AI@ %@i0⊂%@Hp⊂.K0_&B`⊂α@I@X↓@`P⊂%A Pα@i _βB (%A0X%A@H+@j`_+JP_*@IPP¬@I@X¬@I0(↓αp_%`PP↓↓) ⊂β@0X%@P_αB
_(HT
εCR(E@5`βV↓∃(∧∀!∧h∧R`tXβS!∃λ∧∃!¬@∧Wv↓Q`%`↓⊗`4h∧↓@ (↓∪↓0_↓A $Xα@A (↓R@08∧@TP↓αa4P↓β↓∃8↓U@50↓∃ 5(↓∪! X↓∪↓0X↓∩`P⊂∧↓`4P↓A! ⊂αR@ 0↓a4P↓↓ 0(∧∀5↓⊃(AX
π$QH@i08&B*⊂@*BH.↓k@8,α*P@(B PH%Ai0_#@K@⊂-@iP@β@P⊂&α`0_α@I0(↓α@P_%`p@↓↓) ⊂¬Bi ⊂εα*p_+j`⊂*@jP⊂&BA0⊂&αa0⊂%A @β@i _αB@ (%@`⊂↓Bi ⊂α@`P@(j⊂"QβAP∞E"1⊂↓⊗`5X↓⊗@5P↓⊗ 4xα↓ 4h∧` @↓∪↓`@↓∩a`@↓R`0 ∧↓`4P↓Aa ↓R@0@π∩@ @π∩@ @↓a¬_↓A E⊂↓T@%λ↓T %↓T$("π#!h⊂F" ⊂.K0_-@K0⊂-k ⊂&B@_βI@X↓@p⊂%A Hβi _βB (%A0X%A@H+@jp⊂+j`⊂+I!P%εJP⊂*j@⊂)@j0⊂%εI!P)J ⊂(@j⊂⊂(j⊂(HT ⊂¬C1xAatxλS@Dh↓S4X↓R`$P↓R@$P↓∩@$P↓∩@$P↓∩@4X↓∩`4`↓B $h↓B$pα↓ 4xλT!u(↓U % ↓U%_↓RbTX
T 5λ↓∀ $("λ"aX∂E`x%∧+ -k0_.kP⊂.@k`⊂/K`⊂/K`⊂/KP_.@K@_*@@@_*@@0_*`⊂ %∧) x)j ⊂(@j⊂⊂(i!(%¬)`_'I`⊂"Q∧!@∞
ca(↓↔`%p↓W@%⊂λ∀α$pαB 4hαα`$`↓C $X↓C 4X↓β@$X↓β 4P↓C $P↓β 4P↓β $P↓β4P↓β$P↓B@4X↓α@$X↓α 4X↓B$`↓A@4hα↓$pα@@% ∀B¬_↓T`%⊂↓T@%λ↓RbtXT$x↓S`$x↓∪@4XRbth↓∪4`↓∪$("λc↓`∃GB@⊂/KP_.@I!↓i! ,A+0 -A+ _@k ⊂↓@K⊂_↓@K⊂⊂αk_α@K⊂βJp_βJp⊂β@J`_βj`⊂β@JP_β@JP⊂β@j@_βj@⊂αA
@⊂↓A)!⊂%∧
_)J⊂_(@J_%¬i!8'@I`_'I`⊂&@i!8%¬i@⊂%@i0⊂%@HT ∩εβBX∂αα¬ ∪@Thα∪4X↓R`$X↓∩@4P↓∩@$P↓∩@$P↓R`$X↓∩`4`↓S DpαTα%⊂λ⊃`5X↓⊗@5P↓⊗ 5@↓RbtXU@5(↓U % ↓T`4XRbuλ↓T %↓T$(" #↓`∃G@↓%∧K⊂(-AP_/kp⊂/@Kp_0L⊂0L⊂/@kp⊂/@K`_.@k0 ,A)!⊂%∧λp_-K⊂_,@K_+@i!8%¬jP_*j@⊂)@j _%¬i!8(j⊂'@ip⊂"Q∧a@∞
βP@λ∀α$pαS D`↓R`4X↓∩`$P↓R@$P↓∩@$P↓∩@4X↓∩`!⊂↓∩`1↓S0x↓∪ @`↓S@PP↓∀α%⊂λ⊗`5X↓⊗@5H↓V $XRbu8↓U`%0↓U@%(↓RbtXU%_↓T`%⊂↓T@$(" c↓`∀π ↓%∧K⊂(-AP_/kp⊂/@Kp_0L⊂0L⊂/@kp⊂,@P⊂+@`@_+@@@_+` +@⊂(%∧I!*j@⊂)@j0⊂)i!8%¬j⊂⊂(ip_'@I`_%¬i!8&@I@_&I0_%@HT ∀εβB_
αα¬ ∪@Thα∪4X↓R`$X↓∩@4P↓∩@$P↓∩@$P↓R`$X↓∩`4`↓S DpαTα%⊂λ⊃`EH↓⊗58↓RbtXU5_↓T@5⊂↓⊃(BHπ∧1P∧ !⊂,A+0 .@k`_/@Kp⊂/@l⊂0L⊂0Kp_/@Kp⊂/kP_-A⊂(%∧I!#A⊂+@j`_%¬i!8)@j _(@j⊂⊂"Q¬!@∞
ca_↓↔ %`↓W%X↓V`%X↓∀B¬ ∪@P8↓∪ @@↓S0P↓∩`0P↓R` X↓∩` X↓∩@0P↓R@ X↓∩@ X↓∩@ P↓R@ P↓∩@0@↓R` @↓∩` @↓∩`00↓S0(↓∪ @⊂↓S@u ∀B¬⊂↓∀@%λ↓T %↓RbtXS`4x↓∪`$p↓S@$h↓S $h↓⊃(BXπ¬1p @KP⊂.k@⊂-@k0⊂-@I!_%∧K⊂(,AK⊂⊂↓k_↓@k⊂α@K⊂α@Jp_α@jp⊂β@Jp⊂β@J`_β@J`⊂∧JP_β@jP⊂∧JP⊂∧J@_β@j@⊂β@j0_αA
0⊂α↓)!⊂%∧
⊂)J⊂_(@J_%¬i!8'@ip⊂'@I`_'IP_&@IP⊂"Q¬A⊂Hc ↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@ ⊂↓∪@ 0↓ 4p↓↓@Tp↓↓@Dp↓↓@4p↓↓ 4p↓↓Dp↓`Tp↓@0λ↓∪@ λ↓@@$pα@`$pα↓$p↓A $h↓A@$`α↓@$XαA@$P↓@ 0↓∩@ ⊂↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$p↓↓@$(""↓_∂Fp⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@@P⊂(@@@_(@@ (Aj⊂('A)P0%A ⊂⊂%↓0⊂%@P⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@HT ↔αa`xπA $x↓∪`$x↓∪` ⊂↓∪`dxαS@Dhα∩`dPα $P↓`$x↓∪`$x↓∪`$("aq⊂πC`0⊂α@IP⊂α@IP⊂α@IP⊂αA)P⊂αA)P⊂α↓ P⊂↓A P⊂AIP0@IP ↓@I@ αI (α@I (α@IP⊂α@IP⊂α@IP⊂α@HT _εCQ@↓` p↓T hα∀ `↓T X↓T P↓T H↓T @↓T 8↓T 0↓T (↓T ↓T"5λ T λ↓T Uλα∀ 5↓S`DpαS 0λ↓∪0⊂↓∩`0_↓∩@0 ↓∩@ (↓⊃(Cλ⊂Iβ↓@β@@P⊂πj⊂⊂α@AP (@@P⊂εj⊂⊂α@A (@@P⊂∧A
⊂⊂α@A_(@@P⊂β↓
⊂⊂α@@P (@@P⊂αj⊂⊂α@@ (@@P⊂A
⊂⊂αDj⊂⊂αDj⊂⊂α↓
⊂⊂↓A
⊂⊂AJ⊂0@J⊂ ↓@J αIp α@I`(α@I@ @@P⊂%A ⊂α@I _α@P⊂%@P⊂α@HT →εCQ@↓` p↓T hα∀ `↓T X↓T P↓T H↓T @↓T"5λ T (↓T ↓T _↓T ⊂↓T λ↓T Uλ T"5↓S`DpαS 0λ↓∪0⊂↓∩`0_↓∩@0 ↓∩@ (↓⊃(C_⊂Iβ↓@β@@P⊂πj⊂⊂α@AP (@@P⊂εj⊂⊂α@A (@@P⊂∧A
⊂⊂α@A_(@@P⊂β↓
⊂⊂αDj⊂⊂αDj⊂⊂α@@ (@@P⊂A
⊂⊂αA*⊂⊂αA
⊂⊂α↓
⊂⊂↓A
⊂⊂Ej⊂0Dj⊂ ↓@J αIp α@I`(α@I@ @@P⊂%A ⊂α@I _α@P⊂%@P⊂α@HT ~εβBP∂∧%H↓V %H↓⊗ %@↓V$P↓B`$PαB $PβA@4P↓@P ↓∩@ α@@$P↓↓@tP↓αdP↓α@dP↓α@ λαR@ P↓`TP↓α 0(αR@ H↓↓@TP↓α αR@ H↓@TP↓α↓∧P↓αdP↓↓@dP↓↓dP↓A∧Pβ@@$PαA$P↓A@%⊂↓T@%⊂↓∀@%λ↓RC∧P∀ %↓T%↓∀%↓∀$("
#↓`∃πB⊂⊂-k ⊂-K⊂_,@K⊂⊂,@@@_,` (,@⊂8,↓@ ⊂+A @⊂*↓@`⊂)↓`p⊂(↓ ⊂β@I`(↓@`p⊂&↓ P⊂∧I (β@A⊂%↓ p⊂∧I@(αa⊂'↓ ⊂∧@J8∧@J 0∧J@0βJ@⊂A @⊂*@0(↓J@⊂αAj0_βA*0⊂¬j0⊂)j ⊂)J ⊂%ε !@(@J⊂⊂(j⊂(J⊂(HT ≠εβAX∧%P↓⊗ 5H↓↓5H↓@U@¬⊗`⊂↓∃`P ↓∃`0↓∀@p8↓∀Pλ↓A`$pα@` @↓∪P ↓B$PαA@ H↓∩@P0↓α $`α@`0H↓∪@Pλ↓α@%βα@%⊂βα%_βA@%⊂↓@@P ↓∀@ (α@@%λ↓A`uλ↓α@Uλ↓β5↓T%↓⊃(C8πβ10π@K⊂⊂,@I _¬@i (∧@I 8βi ⊂↓↓ @⊂%@@(↓I ⊂β↓i ⊂∧↓I ⊂¬↓I ⊂∧@`⊂(%A⊂⊂α↓) ⊂∧@@`(%A_β↓) ⊂∧@P(%@p_↓A) ⊂β@@ (%@p8%@`0%@@(%@ 0%αI (↓I _↓@j⊂(J⊂"Qπα_∪β!p8↓∀ !λ↓∀0xα∪`0xα∪@0x↓S@x↓RD4P⊃S@`↓S@0P↓S`08α∀0(α∀ (↓∀ $("∞$20εCc ⊂.@@P⊂-AP_-↓p_,@a _,a@ %λi"_*@ap *ap_)↓↓p_(A↓p_(@B⊂⊂2HT ≥λe↓λλB@ x↓∃ x↓∀`0p↓T@0p↓T#E∞S@Px↓∪Q↓R@a↓R@a↓∪Pp↓S@PX↓TβUλ∞∀@08↓T`00↓∃ (↓U (↓⊃(CX⊃Jα⊃λλ@P⊂-@P⊂,@`P_,`p_%π !h+@A0(+aP(*@ap0*@B0*ap()@a`(%π)!`(@a`_(@A`_(a`⊂(Ap⊂"QπB8∃∧"⊂P↓α` ⊂↓∃ P↓@@%_↓B@ _↓T@0P↓A5λTβ4pαB` @αSP`↓B@TPββ0`β∩@``↓β d`αB@0`αS@P@↓α`U
T#∃⊂↓A0P↓T`0_↓α@5 ↓@0P↓∃ ⊂↓α`$("∂$20εC`p⊂λ@J⊂⊂¬@P⊂(a⊂_α@ip_¬@p_'a _∧i@ ¬@A %λi"_&↓↓ ⊂¬A `_∧a _'@`p⊂¬j_α@a⊂_(@@P⊂¬J⊂⊂λ@HT ∨¬C1( @!⊂↓∩@1↓R`00↓↓@4`↓A@ ↓S 0_α`4p↓@` _↓S`00↓T0 ↓T 0⊂↓T@dP∩Be⊂β∀ 0⊂↓T0 ↓S`00↓S@0_↓`4h↓@`@_↓S0 α↓4X↓A@ 0↓R@1↓R@!⊂↓⊃(Cxεbq8∧α`⊂(β0_'A` @iP ¬↓)P_εi@_ε↓)0_ε`⊂_%@A@_↓@I _¬@`@_%A0_βI ⊂¬`p⊂%A⊂_∧I ⊂∧a⊂⊂%@p_¬I ⊂βa0⊂%`@_¬@i0⊂↓@a@⊂%@`⊂_εi@(εiP_εi@(¬↓ 0_A` %`0`%@`@"Qλ↓λ
CpX↓∃ %(↓∃ %(↓∃5 ↓∩B∀PλU _↓∀`0_↓∀` ↓∀` ↓∀` ↓∀@0 ↓∀@ (↓∀@ (↓∀@ (↓∩b∧Xλ∀ 0↓∀ 0↓∀ 0↓∀ 0↓∀00↓∀ 8↓∀ 8↓∀ 8↓∪`08↓∪` @↓∩B∀PλS`$p↓S@$p↓∪@$h↓S $("→C↓XE`⊂@βα 0@βα Hβα) _↓a_↓i ⊂↓@a_↓@I ⊂↓a _↓I`_¬iP_εiP_εi@ ε↓ @_πi0 π↓ 0 π↓ 0_λi λ↓ λ↓ λ↓ λ↓ λ↓ 0 π↓ @ ε↓ P(∧↓)pp)αλT 3D"1@ DXβA@$xα@e⊂∧R@ _β@`$P↓ `λ↓@@$Pβ↓ $Pαα%0↓∀P⊂↓∪A4h↓A T`↓α 4X↓B 4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4X↓B 4`↓α $`α↓ Dp∧TT("~β!hλ∧ ↓P%εHp('↓!p⊂&Aa`⊂&`0 εI0_αA↓ _%@A ∧I _∧A P_%A@ ↓@i ⊂π↓i ⊂πA(T 4Dba@↓tPλ∩B∧Xλ∪↓u@↓V %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓∪α∀X ∩b∀PλRB∧("~Aq⊂ε@0'αI`X'BJH)↓j`_+J`⊂+J`⊂+J`_+j`_+j`_+j`_&C @h%B _%B0_%α 0⊂%α@⊂"Q
1λ
εβλ∩B∀PλRb∧`π∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓U`58↓U`58↓U`58↓U`58↓∃`%8↓⊃(F`παq K` .↓+ (,↓*`(*↓* ((↓)`(β@i@(∧↓) (¬↓) ¬A)0(¬iP('A*⊂()A*P(+A+⊂(-A+P(/@hT 6FβA8
$Pα∩`ThαS`UλαT`U(αU`Tx↓A`TpαBTpαB@TpαB`Dx↓B@UPαVU0αUU⊂αTTpαSTPαR@4("≠BAP D@⊂λI _πi εi (¬i ⊂@a_%@ _βi ⊂↓@`@_%@@_↓i ⊂αAI ⊂β↓ ⊂β↓ ⊂αAI ⊂α` _%@0_αi ⊂↓``_%@⊂_∧i (¬i εi _πi ⊂λHT 7Eβ!_ !↓∩@0p↓R`0`α∪0PαS 0@↓@ $p↓A@0⊂↓∪`0 ↓@`%↓@@0 ↓∀ `(↓∀@@0↓∀@@0↓∀ `(↓∀0⊂↓A$x↓A0_↓∪@00↓@@$h↓B0λ↓∪0PαR`0`α∩@0p↓R@!↓⊃(G↓↓apxI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q∞⊂HεCap↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $P↓↓ $("≤B⊃(λD ⊂%i0_&iP_'ip_(j⊂_)j0_*jP_+jp_,k⊂⊂,@HT 9FCPHεA @x↓∪!h↓∪↓0X↓∪↓@H↓R`0 ∧↓`$X↓↓a ↓R@0Hε∩@ X¬R@ h∧∩@ xα⊃(G
π"A⊂αA↓p⊂&B↓P⊂&αa0⊂&β↓⊂_%@`@@β@I0⊂βB@_%a⊂`%A0X%AP@%Ap #∪`@x↓∪!h↓∪↓0X↓∪↓@H↓R`0 ∧↓`$X↓↓a ↓R@0Hε∩@ X¬R@ h∧∩@ xα⊃(G(
π"q(↓B↓P⊂&αa0⊂%A @β@i _βB (%A0X%AP@#A P@ε@I@X¬@I0(↓αp_%`p@↓↓) ⊂¬Bi ⊂εBλp %εI!P"Q∞aP∞Hc⊂λ↓∩`$X↓SDhβ∪a%⊂λTB∀x¬∪ d`α∩`4X↓∩`$8α∪!h↓∪↓0X↓∩`P⊂∧↓`4P↓Aa⊂αR@ X¬R@ h∧⊃`Dh∧β $`¬B`$Xα@A8↓R@08∧@TP↓αa4P↓β!∧("≥c!h⊃F"p⊂0@L_/↓00*BI1λ%D*PP-AK` 0l⊂⊂0@Hp &B↓P⊂&αa0⊂%A @β@i _βB (%A0X%AP@#A P@ε@I@X¬@I0(↓αp_%`p@↓↓) ⊂¬Bi ⊂εBλT <π$⊂xπC!¬(ε∃0@↓T` `↓∀@ p↓∀@ p↓∀ !↓∀ ⊃⊂R@0_↓@0h↓∩@@⊂βC $Xα QS qλ↓∪ a⊂↓∪@A_↓∪`! ↓∪`! ↓⊃(GH∞H↓px∧α
`'@a_'A@⊂&@A`⊂&@A`⊂&B⊂&" λ%@AP_↓@0_%@AP8↓↓ 0λλ↓ ⊂ %B⊂8%B 0%B0 %B@⊂%B@⊂"Q∂!_
EAp0εSadx↓S`4x↓S@Dp↓S@4p↓S Dh↓S 4h¬S↓D`↓S4`↓R`DX↓R`4X↓R@DP↓Q(GX Eapxαa &Ap(&↓@P0&`⊂⊂α↓)@⊂↓@0(&@⊂_↓↓Ip⊂AipP'αI`0@iP0↓@ ⊂&A 0⊂↓I00α@⊂_%↓@P(%↓ `(%a⊂_"Q∂Q_εβ_β∪ dxα∪`0_α∪a$p∧∩a∧Xβ∪@4p↓@@Thε∪ p⊂α∪ P(↓S P(↓SP(α∪@0↓S@0↓S00α∩`@0↓R`08↓@`$X↓A@@_↓∩`00↓@`4Pα↓@0⊂↓R@0@β∩@0Hα⊃(Gp EC↓@↓AIP0'A p_&β)@h'↓ `_'i`_↓↓)P`&A` &A P_&A P_&↓ P &↓`_&↓`_&`` %A`_%@`p_↓@I0_β↓0⊂%@``_↓@i β` _%a0%a⊂ "Q∂p`λβap⊂β∩A∀P↓A5⊂↓T`5_↓T`5_↓S↓$`∧T@5⊂↓∀ 4xα∩@tPαQ?T 8λ⊂⊂∪␈`α>gα>g ¬/x␈␈}∧∨0 G@h[6`λ}d⊂∞↓K⊂e@U=H1pβ6mX∀h{⊃β`εm[05∂0"G`Y2`↓⊃}d0∞↓K⊂e@⊂S=HrβW.`0({∩β`εm[0o/0$C@0M~@α>dP@↓:p]@ F=I2βW.`Nx{∪β@ε,Y0↓2O0&I ↓aCα|}dp⊂↓kPv0q=IrβW.`x({∀β@ε,Y0α∧O0(Hp];∧)}e⊂∞↓K⊂e@H8=J18αU*X↓!X{∃β`εm[0αP∂0*G@h[6`¬7}e0∂↓[0m@X0=JrH∧Y2h↓>({⊗β`εm[0β≠O0,G@h[6`εW}eP@↓:p]@hi=@αβW.`↓cλ{$π.]@βQo0↓λp];π:}`_⊂↓kPvx3=@BβW.`↓⎇x{↓$π.]@∧ O0βλp];λ.>`8⊂↓kPv↓λ∪=AαβW.`α→_{α$π.]@∧<o0¬λp]; ∞>`X⊂↓kPv↓⊂b=ABβW.`α4X{β$π.]@∧r∂0πλp]; u>`x⊂↓kPv↓ (=BαβW.`αLh{∧$π.]@¬$/0 λp];
]}a_⊂↓kPv↓(b=BBβW.`αaλ{¬$π.]@¬S∂0λp];G}a8⊂↓kPv↓89=CαβW.`α|({ε$π.]@επO0
λp];,}aX⊂↓kPv↓H∃=CBβW.`β~λ{π$π.]@ε>∂0⊂λp];
∪}bλ⊂↓kPv↓PN=D"βW.`β.H{λdπ.]@εmO0∩λp];
z}b(⊂↓kPv↓`"=DbβW.`βIh{ dπ.]@π ∂0∀λp];∞X}bH⊂↓kPv↓hU=E"βW.`β←λ{
dπ.]@πN/0⊗π`Y2`∂<>bh
@↓~0M↓xJ=Eaλ↓sgPβ}8{bP∧iS λαO0_λp];⊂⊗}cλ∪@α≤8∞α[=F"βW.`∧∪x{dpλqc@λ3/0~λp];⊃π}c(⊂↓kPvα⊂\=FbβW.`∧5_{
dπ.]@λyo0≤
↓⊂eK ∩∩>cH∀@α,X⊗@α @=G"h¬~4h∧K8{∞eP
4iP ∨o0≡ ↓ iS ∩Q>ch∀@α,X⊗@α(T=GbβW.`∧←8{∂c`εukP Ko0 ¬`PU*`∪8>f0∂↓[0m@α8.=Lq(α4iP∧|X{~∧π.]@
ε∂04E`PU*`∀~}fP
@↓~0Mα@R=M18αU*X¬∞({≠∧π.]@
#o06Hp];∀W}fp⊂↓kPvαHP=MrβW.`¬ 8{≤↓@αeK⊂
Mo08D 8O≡@∃%>g⊂@↓:p]@αPn=N2βW.`¬08{≥∧π.]@
g/0:Hp];∃f↑g0⊂↓kPvαXp⎇NrβW.`¬D{≡∧Pλ0a@∪␈0<I ↓aC⊗:↑gP
@↓~0Mαh~⎇O18αU*X¬VP{∨#¬Cε⊂7∨0?εXε ↔ε↑gxλ@⎇x?αp<} ↔(P=xow{⎇x